Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.orgยท15h
๐Ÿ“Compression Bounds
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐Ÿ“ˆLinear programming
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.devยท1dยท
Discuss: Hacker News
๐Ÿ”Hash Functions
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
No Bullshit Guide to Statistics prerelease
minireference.comยท1h
๐ŸงฎKolmogorov Bounds
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
In-Depth Analysis: "Attention Is All You Need"
dev.toยท3hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
How JPEG Works: The Subtle Beauty and Art of Imperfection
techspot.comยท1d
๐Ÿ–ผ๏ธJPEG XL
QUIC! Jump to User Space!
hackaday.comยท3h
๐ŸŒNetwork Protocols
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท2h
๐Ÿ“Mathematical Art
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
Discuss: Hacker News, r/programming
โœ…Format Verification
Contrastive Weak-to-strong Generalization
arxiv.orgยท15h
โง—Information Bottleneck
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
A Proof of the Riemann Hypothesis
future.forem.comยท1dยท
Discuss: DEV
๐ŸŽฏArithmetic Coding Theory
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.orgยท1d
๐Ÿ“œManuscript Algebras
Sorting encrypted data without decryption: a practical trick
dev.toยท3hยท
Discuss: DEV
๐Ÿ”Hash Functions
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.orgยท15h
๐Ÿง Machine Learning
LinVideo: A Post-Training Framework towards O(n) Attention in Efficient Video Generation
arxiv.orgยท15h
๐Ÿง Learned Codecs